La rue mode d’emploi

Franglais a la mode moderne

A few years ago I was writing in this column about differences between languages. Dutch and Chinese are comparatively easy to learn. None the less, the various computer languages are another game altogether. Recently a French colleague in pathology, who is also interested in the use of words and in the modern techniques of the assembly of data bases and word processing was kind enough to let me...

Results about Rue Resolution

Extensional Higher-Order Paramodulation and RUE-Resolution

This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP adapting traditional first-order (FO) paramodulation [RW69] , and a calculus ERUE adapting FO RUE-Resolution [Dig79] to classical type theory, i.e., HO logic based on Church’s simply typed λ-calculus. EP and ERUE extend the extensional HO resolution approach ER [BK98a...

35 rue Saint-Honoré, Fontainebleau

The graph matching problem is among the most important challenges of graph processing, and plays a central role in various fields of pattern recognition. We propose an approximate method for labeled weighted graph matching, based on a convexconcave programming approach which can be applied to the matching of large sized graphs. This method allows to easily integrate information on graph label s...

la figure et la zone narratoriales dans la vie mode d’emploi*

même si dans un roman, on le sait depuis longtemps, le narrateur n’est pas une entité humaine et psychologique mais plutôt une construction poético-sémiotique, il a pourtant une « figure » et une « zone » dans laquelle elle évolue et agit. se fondant sur la théorie du point de vue d’alain rabatel et la théorie aristotélicienne de l’ethos, nous analysons les modalités de la présence du narrateur...